Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
101	13 International Workshop on Non-Monotonic Reasoning, NMROn the Complexity of Temporal Defeasible Logic Guido Governatori∗ Add to Reading List Source URL: www.governatori.net Language: English - Date: 2010-04-30 23:14:31
102	ON TEMPORAL PLANNING AND REASONING WITH POINT-INTERVAL LOGIC by Syed Muhammad Mashhood Ishaque A Thesis Submitted to the Graduate Faculty of Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2006-04-17 15:47:52 Algorithm Mathematical logic Theoretical computer science Graph of a function Mathematics Academia Abstraction
103	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic
104	Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-05-18 19:37:50 Logic Mathematical logic Model theory Mathematics Formal languages Linear temporal logic Temporal logic Symbol Substitution Interpretation Structure Constructible universe
105	Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗ Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-21 09:47:36 Game theory Artificial intelligence Formal epistemology Modal logic Logic in computer science Common knowledge Epistemic modal logic Intelligent agent Alternating-time Temporal Logic Temporal logic Social software Mechanism design
106	LNAIStrongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:42 Model theory Interpretation Substitution Compactness theorem Linear temporal logic Differential forms on a Riemann surface
107	Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3 Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-31 07:08:31 Logic Mathematical logic Philosophy Model theory Formal languages Logical truth Propositional calculus Linear temporal logic Temporal logic Interpretation Substitution operator
108	A reasoning approach to knowledge, introspection and unawareness∗ Olivier Gossner†and Elias Tsakas‡ July 24, 2009 Abstract Add to Reading List Source URL: ogossner.free.fr Language: English - Date: 2009-07-30 04:03:12 Philosophy Logic Abstraction Philosophical logic Axiom Constructible universe Epistemology A priori and a posteriori Linear temporal logic
109	Spatial-Temporal Modeling of Linguistic Regions and Processes with combined Indeterminate and Crisp Boundaries Johannes Scholz, Thomas J. Lampoltshammer, Norbert Bartelme, Eveline Wandl-Vogt Mail: johannes.scholz@tugraz. Add to Reading List Source URL: eurocarto.org Language: English - Date: 2015-11-23 04:58:36 Fuzzy logic Fuzzy set Linguistics Isogloss Language
110	Control Explicit—Data Symbolic Model Checking Petr Bauch POPL Student Session 23 January 2013 Add to Reading List Source URL: anna.fi.muni.cz Language: English - Date: 2013-01-17 12:35:21 Software Model checking Computing Linear temporal logic Temporal logic Bauch LLVM Parallel computing Formal methods Model checkers